The Journal of Fourier Analysis and Applications Volume 12, Issue 3, 2006 Density, Overcompleteness, and Localization of Frames. II. Gabor Systems

Source URL: www.math.umd.edu

12th Congress INTERPRAEVENT 2012 – Grenoble / France Conference Proceedings www.interpraevent.at MEASURING THE KINETIC ENERGY DISSIPATION EFFECTS OF ROCK FALL ATTENUATING SYSTEMS WITH VIDEO ANALYSIS

Source URL: www.wsl.ch

Russian Academy of Sciences Program Systems Institute Cluster Hardware Monitoring for Failure Predictive Analysis Introduction One of the major trends of late in the HPC world is that an average number of computational

Source URL: skif.pereslavl.ru

iSYSTEM AG and Timing-Architects Embedded Systems GmbH Tool-based Multi-Core Performance Engineering Trace-based performance analysis tools integrated with model-based timing optimization tools for an efficient migratio

Source URL: embedded.typepad.com

Automata-Based Analysis of Recursive Concurrent Programs Markus Müller-Olm Westfälische Wilhelms-Universität Münster, Germany 2nd Tutorial of SPP RS3: Reliably Secure Software Systems

Source URL: cs.uni-muenster.de

Simple testing can prevent most critical failures -- An analysis of production failures in distributed data-intensive systems Ding Yuan with Yu Luo, Xin Zhuang, Guilherme Rodrigues, Xu Zhao, Yongle Zhang, Pranay U. Jain

Source URL: surge.omniti.com

1122 IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS—PART A: SYSTEMS AND HUMANS, VOL. 41, NO. 6, NOVEMBER 2011 Socioscope: Human Relationship and Behavior Analysis in Social Networks

Source URL: nsl.cse.unt.edu

UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|fhilken}@informatik.uni-bremen.de

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Scientific modeling
• ECO
• Model-driven architecture
• Metamodeling
• Entityrelationship model
• Invariant
• Model transformation
• Class diagram
• Object Constraint Language
• Executable UML

DDGEL/DDCHIP: Web-Based Systems for Analysis of 2-D Gel Electrophoresis Images and DNA Macro/Micro Array Images Kyotetsu Kanaya 1

Source URL: www.jsbi.org